Model-Based Security Testing

Security testing aims at validating software system requirements related to security properties like confidentiality, integrity, authentication, authorization, availability, and non-repudiation. Although security testing techniques are available for many years, there has been little approaches that allow for specification of test cases at a higher level of abstraction, for enabling guidance on test identification and specification as well as for automated test generation. Model-based security testing (MBST) is a relatively new field and especially dedicated to the systematic and efficient specification and documentation of security test objectives, security test cases and test suites, as well as to their automated or semi-automated generation. In particular, the combination of security modelling and test generation approaches is still a challenge in research and of high interest for industrial applications. MBST includes e.g. security functional testing, model-based fuzzing, risk- and threat-oriented testing, and the usage of security test patterns. This paper provides a survey on MBST techniques and the related models as well as samples of new methods and tools that are under development in the European ITEA2-project DIAMONDS.Comment: In Proceedings MBT 2012, arXiv:1202.582

Nitrous oxide emissions from European agriculture - An analysis of variability and drivers of emissions from field experiments

Nitrous oxide emissions from a network of agricultural experiments in Europe were used to explore the relative importance of site and management controls of emissions. At each site, a selection of management interventions were compared within replicated experimental designs in plot-based experiments. Arable experiments were conducted at Beano in Italy, El Encin in Spain, Foulum in Denmark, Logården in Sweden, Maulde in Belgium, Paulinenaue in Germany, and Tulloch in the UK. Grassland experiments were conducted at Crichton, Nafferton and Peaknaze in the UK, Gödöllö in Hungary, Rzecin in Poland, Zarnekow in Germany and Theix in France. Nitrous oxide emissions were measured at each site over a period of at least two years using static chambers. Emissions varied widely between sites and as a result of manipulation treatments. Average site emissions (throughout the study period) varied between 0.04 and 21.21 kg N₂O-N ha⁻¹ yr⁻¹, with the largest fluxes and variability associated with the grassland sites. Total nitrogen addition was found to be the single most important determinant of emissions, accounting for 15% of the variance (using linear regression) in the data from the arable sites (<i>p</i> < 0.0001), and 77% in the grassland sites. The annual emissions from arable sites were significantly greater than those that would be predicted by IPCC default emission factors. Variability of N₂O emissions within sites that occurred as a result of manipulation treatments was greater than that resulting from site-to-site and year-to-year variation, highlighting the importance of management interventions in contributing to greenhouse gas mitigation

The genetic architecture of the human cerebral cortex

INTRODUCTION The cerebral cortex underlies our complex cognitive capabilities. Variations in human cortical surface area and thickness are associated with neurological, psychological, and behavioral traits and can be measured in vivo by magnetic resonance imaging (MRI). Studies in model organisms have identified genes that influence cortical structure, but little is known about common genetic variants that affect human cortical structure. RATIONALE To identify genetic variants associated with human cortical structure at both global and regional levels, we conducted a genome-wide association meta-analysis of brain MRI data from 51,665 individuals across 60 cohorts. We analyzed the surface area and average thickness of the whole cortex and 34 cortical regions with known functional specializations. RESULTS We identified 306 nominally genome-wide significant loci (P < 5 × 10−8) associated with cortical structure in a discovery sample of 33,992 participants of European ancestry. Of the 299 loci for which replication data were available, 241 loci influencing surface area and 14 influencing thickness remained significant after replication, with 199 loci passing multiple testing correction (P < 8.3 × 10−10; 187 influencing surface area and 12 influencing thickness). Common genetic variants explained 34% (SE = 3%) of the variation in total surface area and 26% (SE = 2%) in average thickness; surface area and thickness showed a negative genetic correlation (rG = −0.32, SE = 0.05, P = 6.5 × 10−12), which suggests that genetic influences have opposing effects on surface area and thickness. Bioinformatic analyses showed that total surface area is influenced by genetic variants that alter gene regulatory activity in neural progenitor cells during fetal development. By contrast, average thickness is influenced by active regulatory elements in adult brain samples, which may reflect processes that occur after mid-fetal development, such as myelination, branching, or pruning. When considered together, these results support the radial unit hypothesis that different developmental mechanisms promote surface area expansion and increases in thickness. To identify specific genetic influences on individual cortical regions, we controlled for global measures (total surface area or average thickness) in the regional analyses. After multiple testing correction, we identified 175 loci that influence regional surface area and 10 that influence regional thickness. Loci that affect regional surface area cluster near genes involved in the Wnt signaling pathway, which is known to influence areal identity. We observed significant positive genetic correlations and evidence of bidirectional causation of total surface area with both general cognitive functioning and educational attainment. We found additional positive genetic correlations between total surface area and Parkinson’s disease but did not find evidence of causation. Negative genetic correlations were evident between total surface area and insomnia, attention deficit hyperactivity disorder, depressive symptoms, major depressive disorder, and neuroticism. CONCLUSION This large-scale collaborative work enhances our understanding of the genetic architecture of the human cerebral cortex and its regional patterning. The highly polygenic architecture of the cortex suggests that distinct genes are involved in the development of specific cortical areas. Moreover, we find evidence that brain structure is a key phenotype along the causal pathway that leads from genetic variation to differences in general cognitive function

Estimação da cota inferior para a confiabilidade de sistemas por árvores de falhas

A técnica de árvores de falhas é uma das principais ferramentas empregadas em confiabilidade e análise de risco para o suporte nas tomadas de decisão e controle de gestores na busca da garantia da execução satisfatória das funções de um dado sistema e seus componentes, considerando as condições ambientais e de operação. Um dos principais problemas referentes à análise de árvores de falhas atualmente enfatizados na literatura refere-se à construção de procedimentos que aliem eficiência computacional e precisão quando do cálculo da probabilidade de ocorrência do evento topo da árvore, probabilidade esta geralmente considerada como a probabilidade de falha do sistema. Este trabalho sugere uma maneira de tratar deste problema de inferência através da remoção prévia das redundâncias da árvore e da subseqüente aplicação de algoritmos recursivos. Demonstra-se também a maior precisão do método proposto em relação a técnicas tradicionais. O procedimento proposto é ilustrado através de um exemplo.<br>The fault tree analysis is an important technique in the context of reliability and risk analysis providing support for decision making and helping managers in assuring that a given system and their components will perform accordingly, given a set of operational and environmental conditions. Nowadays, one of the main problems emphasized in the fault tree related literature is concerned with procedures that contemplate computational efficiency as well as precision in the estimation of the fault tree top event probability. This paper suggests a new approach to tackle this inference problem, which mainly consists of removal of the fault tree redundancies with subsequent application of recursive algorithms. It is also shown the improved precision of the proposed approach when compared to traditional techniques. The proposed approach is then illustrated by means of an example application